Foundations of Mathematics for the Working Mathematician
نویسنده
چکیده
منابع مشابه
Homotopy Type Theory: Univalent Foundations of Mathematics
Homotopy type theory is a new branch of mathematics, based on a recently discovered connection between homotopy theory and type theory, which brings new ideas into the very foundation of mathematics. On the one hand, Voevodsky's subtle and beautiful"univalence axiom"implies that isomorphic structures can be identified. On the other hand,"higher inductive types"provide direct, logical descriptio...
متن کاملPerspectives for proof unwinding by programming languages techniques
In this chapter, we propose some future directions of work, potentially beneficial to Mathematics and its foundations, based on the recent import of methodology from the theory of programming languages into proof theory. This scientific essay, written for the audience of proof theorists as well as the working mathematician, is not a survey of the field, but rather a personal view of the author ...
متن کاملThe Gödel Hierarchy and Reverse Mathematics
In 1900 the great mathematician David Hilbert laid down a list of 23 mathematical problems [32] which exercised a great influence on subsequent mathematical research. From the perspective of foundational studies, it is noteworthy that Hilbert’s Problems 1 and 2 are squarely in the area of foundations of mathematics, while Problems 10 and 17 turned out to be closely related to mathematical logic.
متن کاملA Formalist's Perspective of Mathematics
According to some mathematicians, the formalist philosophy of mathematics faces the dilemma that a practising mathematician could not possibly hold a formalist conviction, although some of the weaknesses of mathematical foundations almost enforce a formalist position. I am a formalist, and in this paper I explain how this dilemma fails to materialise.
متن کاملJohn von Neumann 1903 - 1957
If influence of a scientist is interpreted broadly enough to include impact on fields beyond science proper then John von Neumann was probably the most influential mathematician ever lived: not only did he contribute to almost all branches of modern mathematics and created new fields but he also changed history after the second World War by his work in computer design and by being a sought-afte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 14 شماره
صفحات -
تاریخ انتشار 1949